Logo
主页
课程
笔记本
词典
JLPT考试
视频
升级
反馈
Logo
主页
课程
笔记本
词典
JLPT考试
视频
升级
反馈
Todaii Japanese
Switch language – current: zh-cn
Logo Japanese
[email protected]
(+84) 865 924 966
315 Truong Chinh, Ha Noi
www.todaiinews.com
DMCA.com Protection Status

关于Todaii Japanese

品牌故事常见问题用户指南条款与政策退款信息

社交网络

Logo facebookLogo instagram

应用版本

AppstoreGoogle play

其他应用

Todaii German
Todaii English
Todaii Chinese
Todaii Korean
DMCA.com Protection Status

版权所有 eUp Technology JSC

Copyright@2026

词典

单词详情

論理主義 (数学)

数学についての論理主義（ろんりしゅぎ、英: Logicism、仏: Logicism、独: Logizismus）は、数学全体を論理学の一部とみなし、数学を基礎付け、数学を論理学へと還元できるとする立場である。方法的には、論理学の諸規則から数学のそれを演繹することが出来ると主張する。

相关单词

数理論理学

数理論理学（すうりろんりがく、英 : mathematical logic）または現代論理学、記号論理学、数学基礎論、超数学は、数学の分野の一つであり、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す。数理論理学（数学基礎論）と密接に関連している分野としては計算機科学や理論計算機科学などがある。

論理式 (数学)

数学における論理式（ろんりしき: logical expression）とは、真理値を必要とする場所にあらわれる式で、原子論理式や、それを論理演算子で結びあわせた式である。ここでは古典論理のものを例示するが、非古典論理をはじめ、他の多くの論理体系についても同様な議論は可能である。 命題論理の論理式は命題論理

論理実証主義

論理実証主義（ろんりじっしょうしゅぎ、英: logical positivism）とは、20世紀前半の哲学史の中で、特に科学哲学、言語哲学において重要な役割を果たした思想ないし運動。論理経験主義（英: logical empiricism）、科学経験主義ともいう。 経験主義

直観主義論理

直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: constructive logic）とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理

社会主義理論学会

for socialism theory）は、「自由で民主主義的な社会主義を共に志向する人々が、それぞれの立場の違いを認めあいながらも、たがいに学び、交流し、協同して新たな創造的研究に取り組むこと」（入会呼びかけ）を目的とする学会。 1988年創立、同年10月に第一回研究会を開いた。

理論段数

蒸留塔では理論段数を高めるために気液の接触面積を増やす工夫がなされている。例えば液体を泡立たせて表面積を広げる泡鐘塔や各種の充填物を使用した充填塔がある。 ガスクロマトグラフィーや高速液体クロマトグラフィーは数千から数万段におよぶ理論段数を有し高い分離性能を持っている。 段塔 表示 編集

数の論理

数の論理（かずのろんり）とは、政治用語の一つで、少数派との対話を重視せず、意見の集約を行わないまま単純な多数決で結論を導こうとする姿勢であるとされる。田中角栄の言葉「政治は数であり、数は力、力は金だ」に由来する。 政党制において用いられることが多く、これによって政局が左右されると言える。具体的には

直観主義型理論

直観主義型理論は３つの有限型を持つ。その有限型は５つの異なる型構築子（type constructor）を組み合わせたものである。集合論とは異なり、型理論は第一階述語論理のような論理学をベースに構築されてはいない。だから、それぞれの型理論の特徴は、数学と論理学両方の特徴としての役割を果たす。

構成主義 (数学)

しないことを仮定して矛盾を導くことがよくある。この背理法というものは構成的に見ると十分ではない。構成的な見地は、古典的な解釈をもって中途半端なままである、存在記号の意味を確かめることを含む。 構成主義には多くの形があり、以下のようなものが含まれる。 ブラウワーによって創始された直観主義のプログラム

形式主義 (数学)

数学における形式主義（英: formalism）とは、数学における命題を少数の記号によって表し、証明において使われる推論を純粋に記号の操作と捉える考え方のことを指す。 形式主義の最も原理的な見方では、数学は決められたルール（公理と推論法則）に従って行われるゲームであり、ルールを取り替えることによっ

義務論理

義務論理（英: deontic logic）は、義務や権利などの概念を扱う論理学の一分野である。規範論理とも。典型的な記法としては、OA（A は義務的である、A であるべきだ）と PA（A は許されている、A でもよい）がある。deontic という言葉は古代ギリシャ語の déon（拘束されているもの、適切なもの）を語源とする。

論理学

ようにすると、その説明自体は論理的には何一つ曇り無く正確であることに注意。連続体仮説、選択公理などを参照のこと。 ^ a b 「論理学史」p195　山下正男　岩波書店　1983年9月14日第1刷発行 ^ 毎日新聞社編『話のネタ』PHP文庫 p.55 1998年 ^ 「近代科学の源をたどる

合理主義哲学

合理主義哲学（ごうりしゅぎてつがく、英: Rationalism）は、17-18世紀の近代哲学・認識論における一派。大陸合理主義（英: Continental Rationalism）、大陸合理論とも呼ばれる。 大陸合理主義の思想的内容は、通常、当時のイギリスにおいてロック、ヒュームらによって担われ

新民主主義論

新民主主義論は15章より構成され、各章の概要は以下の通りである 第1章 中国はどこへいく 科学的態度と具体的実践が必要。 第2章 われわれは新中国をうちたてる 政治革命・経済革命だけではなく文化革命も含む。 第3章 中国の歴史的特徴 中国革命の第一歩は「民主主義革命」、第二歩は「社会主義革命」。 第4章

原理主義

原理主義（げんりしゅぎ、英語: fundamentalism、ファンダメンタリズム）は、主に以下の意味で使用されている。 キリスト教の用語で、聖書の無謬性を主張する思想や運動（キリスト教根本主義）。対比語は自由主義神学（リベラル・リベラリズム）、近代主義（モダニスト）、世俗主義など。

公理主義

数学を， 公理系から厳密に演繹された体系として構成しようとする立場。 ヒルベルトなどの形式主義的方法に代表される。

理想主義

〔idealism〕 (1)現実にとどまるのではなく， 理想の実現をめざそうとする立場， 生き方。 ⇔ 現実主義 (2)自然をあるがままに描かず， 様式化し， 理想化して表現しようとする美術上の立場。 (3)文学の意義を倫理的社会的理想の実現におく立場。 近代文学では， 写実主義に対立した， 幸田露伴・夏目漱石， また白樺派の人道主義に見られる。

理性主義

理性主義（りせいしゅぎ、英: rationalism）は、確たる知識・判断の源泉として（人間全般に先天的に備わっている機能・能力であると信じる）「理性」を拠り所とする、古代ギリシア哲学以来の西洋哲学に顕著に見られる特徴的な態度のこと。日本では合理主義とも訳されるが、これだと「理性

合理主義

合理主義（ごうりしゅぎ）とは、 修練・経験則に囚われず、目的達成のために最短・最効率な手段を選択していこうとする態度。効率主義。 感覚・経験ではなく、理性・論理・合理性に依拠する態度。理性主義。 合理主義哲学（大陸合理論） - 17世紀ないし18世紀の近代哲学認識論における一派。 批判的合理主義 -